Electronic Books

  1. Home
  2. Electronic Books
Total Books: 1 - 4 /4
978-3-540-31714-2
FM 2005: Formal Methods

This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...

Continue reading
978-3-540-35632-5
Mathematics of Program Construction

This volume contains the proceedings of the 8th International Conference on Mathematics of ProgramConstruction, MPC 2006,held ...

Continue reading
978-3-540-40928-1
Modular Programming Languages

On behalf of the Steering Committee we are pleased to present the proceedings of the 2006 Joint Modular Languages Conference ...

Continue reading
978-3-030-86359-3
Parallel Computing Technologies

This book constitutes the proceedings of the 16th International Conference on Parallel Computing Technologies, PaCT 2021, ...

Continue reading
Total Books: 1 - 4 /4